Computing Ramifications by Postprocessing
نویسنده
چکیده
A solut ion to the ramif icat ion problem caused by under ly ing domain constraints in S T R I P S like approaches is presented. We introduce the not ion of causal relationships which are used in a post-processing step after having applied an act ion description. Moreover, we show how the in format ion needed for these post-computat ions can be automat ical ly ex tracted f rom the domain constraints plus gen eral knowledge of which fluents can possibly af fect each other. We i l lustrate the necessity of causal relationships by an example that shows the limitedness of a common method to avoid unintended ramif icat ions, namely, the distinc t ion between so-called frame and non-frame flu ents. Final ly, we integrate our solution into a recently developed, STRIPS-Iike yet purely de ductive approach to reasoning about actions based on Equat ional Logic Programming.
منابع مشابه
Intrahepatic ramifications of the portal vein in the horse
The ramifications of the portal vein in the liver of horses were studied by using corrosion casting and gross dissection. The portal vein in the horse supplies the hepatic lobes by six major branches. The right lobe is supplied by three main branches, namely the dorsal diaphragmatic, the right caudodorsal and the right intermediate branches. The left branch supplies the left lateral and medial ...
متن کاملDistilling Gaussian states with Gaussian operations is impossible.
We show that no distillation protocol for Gaussian quantum states exists that relies on (i) arbitrary local unitary operations that preserve the Gaussian character of the state and (ii) homodyne detection together with classical communication and postprocessing by means of local Gaussian unitary operations on two symmetric identically prepared copies. This is in contrast to the finite-dimension...
متن کاملSuperconvergence and Postprocessing of Fluxes from Lowest-Order Mixed Methods on Triangles and Tetrahedra
متن کامل
Some Aspects of Parallel Postprocessing for Numerical Simulation
The topics discussed in this paper are closely connected to the development of parallel finite element algorithms and software based on domain decomposition [1, 2]. Numerical simulation on parallel computers generally produces data in large quantities being kept in the distributed memory. Traditional methods of postprocessing by storing all data and processing the files with other special softw...
متن کاملPostprocessing for the Discontinuous Galerkin Method over Nonuniform Meshes
A postprocessing technique based on negative order norm estimates for the discontinuous Galerkin methods was previously introduced by Cockburn, Luskin, Shu, and Süli [Proceedings of the International Symposium on Discontinuous Galerkin Methods, Springer, New York, pp. 291– 300; Math. Comput., 72 (2003), pp. 577–606]. The postprocessor allows improvement in accuracy of the discontinuous Galerkin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995